(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 10.4' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     38523,       1222]
NotebookOptionsPosition[     33603,       1064]
NotebookOutlinePosition[     36122,       1132]
CellTagsIndexPosition[     36000,       1126]
WindowTitle->PauliSimplify
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[GridBox[{
   {Cell["FEYN CALC SYMBOL", "PacletNameCell"], Cell[TextData[{
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "See Also",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"See Also", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"PauliSigma\"\>":>Documentation`HelpLookup[
       "paclet:FeynCalc/ref/PauliSigma"], "\<\"PauliTrick\"\>":>
       Documentation`HelpLookup["paclet:FeynCalc/ref/PauliTrick"]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"SeeAlso"]],
      LineSpacing->{1.4, 0}],
     "\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\
\[ThickSpace]",
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "URL",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"URL", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"FeynCalc/ref/PauliSimplify\"\>":>
       None, "\<\"Copy Wolfram Documentation Center URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell["FeynCalc/ref/PauliSimplify"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; Null], 
       Delimiter, "\<\"Copy web URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell[
              BoxData[
               MakeBoxes[
                Hyperlink[
                "http://reference.wolfram.com/language/FeynCalc/ref/\
PauliSimplify.html"], StandardForm]], "Input", TextClipboardType -> 
              "PlainText"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; 
        Null], "\<\"Go to web URL\"\>":>FrontEndExecute[{
         NotebookLocate[{
           URL[
            StringJoin[
             If[
              TrueQ[DocumentationBuild`Make`Private`wsmlinkQ$206026], 
              "http://reference.wolfram.com/system-modeler/", 
              "http://reference.wolfram.com/language/"], 
             "FeynCalc/ref/PauliSimplify", ".html"]], None}]}]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"URLMenu"]],
      LineSpacing->{1.4, 0}]
    }], "AnchorBar"]}
  }]], "AnchorBarGrid",
 GridBoxOptions->{GridBoxItemSize->{"Columns" -> {
     Scaled[0.65], {
      Scaled[0.34]}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, 
   "RowsIndexed" -> {}}},
 CellID->1],

Cell[TextData[{
 Cell["PauliSimplify", "ObjectName"],
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{8, 0}],
    CacheGraphics->False],
   Spacer[8]]]],
 Cell[BoxData[""], "ObjectNameTranslation"]
}], "ObjectNameGrid"],

Cell[CellGroupData[{

Cell[BoxData[GridBox[{
   {"", Cell[TextData[{
     Cell[BoxData[
      RowBox[{"PauliSimplify", "[", "exp", "]"}]], "InlineFormula"],
     " \[LineSeparator]simplifies products of Pauli matrices and expands \
non-commutative products. Double indices and vectors are contracted. The \
order of the Pauli matrices is not changed."
    }]]}
  }]], "Usage",
 GridBoxOptions->{
 GridBoxBackground->{
  "Columns" -> {{None}}, "ColumnsIndexed" -> {}, "Rows" -> {{None}}, 
   "RowsIndexed" -> {}}},
 CellID->982511436],

Cell[CellGroupData[{

Cell[TextData[Cell[BoxData[
 ButtonBox[Cell[TextData[{
   Cell[BoxData[
    InterpretationBox[
     StyleBox[
      GraphicsBox[{},
       BaselinePosition->Baseline,
       ImageSize->{6, 0}],
      CacheGraphics->False],
     Spacer[6]]]],
   "Details"
  }], "NotesFrameText"],
  Appearance->{Automatic, None},
  BaseStyle->None,
  ButtonFunction:>(FrontEndExecute[{
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], All, ButtonCell], 
     FrontEndToken["OpenCloseGroup"], 
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], After, CellContents]}]& ),
  Evaluator->None,
  Method->"Preemptive"]]]], "NotesSection",
 WholeCellGroupOpener->True,
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->512182867],

Cell["", "SectionHeaderSpacer"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Options", "[", "PauliSimplify", "]"}]], "Input",
 CellLabel->"In[20]:=",
 CellID->1378423485],

Cell[BoxData[
 FormBox[
  RowBox[{"{", 
   RowBox[{
    RowBox[{"Contract", "\[Rule]", "True"}], ",", 
    RowBox[{"EpsContract", "\[Rule]", "True"}], ",", 
    RowBox[{"Expand2", "\[Rule]", "True"}], ",", 
    RowBox[{"ExpandScalarProduct", "\[Rule]", "True"}], ",", 
    RowBox[{"Expanding", "\[Rule]", "True"}], ",", 
    RowBox[{"FCCheckSyntax", "\[Rule]", "False"}], ",", 
    RowBox[{"FeynCalcExternal", "\[Rule]", "False"}], ",", 
    RowBox[{"FeynCalcInternal", "\[Rule]", "False"}], ",", 
    RowBox[{"FCPauliIsolate", "\[Rule]", "True"}], ",", 
    RowBox[{"FCVerbose", "\[Rule]", "False"}], ",", 
    RowBox[{"Factoring", "\[Rule]", "False"}], ",", 
    RowBox[{"PauliOrder", "\[Rule]", "False"}], ",", 
    RowBox[{"PauliReduce", "\[Rule]", "True"}], ",", 
    RowBox[{"PauliSigmaCombine", "\[Rule]", "False"}]}], "}"}], 
  TraditionalForm]], "Output",
 ImageSize->{535, 73},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[20]=",
 CellID->1275872628]
}, Open  ]]
}, Closed]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "PrimaryExamplesSection",
 WholeCellGroupOpener->True,
 CellTags->"PrimaryExamplesSection",
 CellID->1899085379],

Cell[CellGroupData[{

Cell[TextData[{
 "Basic Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CellID->1973350643],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"CSIS", "[", "p1", "]"}], ".", 
  RowBox[{"CSI", "[", "i", "]"}], ".", 
  RowBox[{"CSIS", "[", "p2", "]"}]}]], "Input",
 CellLabel->"In[1]:=",
 CellID->1786567575],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"(", 
    FormBox[
     RowBox[{
      OverscriptBox[
       FormBox[
        StyleBox["\<\"\[Sigma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox[
         StyleBox["p1",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"],
       TraditionalForm]}],
     TraditionalForm], ")"}], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox[
      FormBox[
       StyleBox["\<\"\[Sigma]\"\>",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm], "_"], 
     FormBox[
      FormBox[
       StyleBox["i",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   RowBox[{"(", 
    FormBox[
     RowBox[{
      OverscriptBox[
       FormBox[
        StyleBox["\<\"\[Sigma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox[
         StyleBox["p2",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"],
       TraditionalForm]}],
     TraditionalForm], ")"}]}], TraditionalForm]], "Output",
 ImageSize->{137, 22},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[1]=",
 CellID->1582738395]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"PauliSimplify", "[", "%", "]"}]], "Input",
 CellLabel->"In[2]:=",
 CellID->147134958],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"-", 
    RowBox[{
     SuperscriptBox[
      OverscriptBox[
       FormBox[
        StyleBox["\<\"\[Sigma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], 
      FormBox[
       FormBox[
        StyleBox["i",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm]], " ", 
     RowBox[{"(", 
      RowBox[{
       FormBox[
        OverscriptBox[
         FormBox[
          StyleBox["p1",
           StripOnInput->False,
           FontWeight->Bold],
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox["\<\"\[CenterDot]\"\>",
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox[
          StyleBox["p2",
           StripOnInput->False,
           FontWeight->Bold],
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}]}]}], "+", 
   RowBox[{
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox[
        StyleBox["p2",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["i",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]], " ", 
    RowBox[{
     OverscriptBox[
      FormBox[
       StyleBox["\<\"\[Sigma]\"\>",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm], "_"], "\[CenterDot]", 
     FormBox[
      OverscriptBox[
       FormBox[
        StyleBox["p1",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"],
      TraditionalForm]}]}], "+", 
   RowBox[{
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox[
        StyleBox["p1",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["i",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]], " ", 
    RowBox[{
     OverscriptBox[
      FormBox[
       StyleBox["\<\"\[Sigma]\"\>",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm], "_"], "\[CenterDot]", 
     FormBox[
      OverscriptBox[
       FormBox[
        StyleBox["p2",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"],
      TraditionalForm]}]}], "-", 
   RowBox[{"\[ImaginaryI]", " ", 
    SuperscriptBox[
     OverscriptBox["\[Epsilon]", "_"], 
     RowBox[{
      FormBox[
       FormBox[
        StyleBox["i",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox[
         StyleBox["p1",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"],
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox[
         StyleBox["p2",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"],
       TraditionalForm]}]]}]}], TraditionalForm]], "Output",
 ImageSize->{344, 26},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[2]=",
 CellID->2085934795]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"CSIS", "[", "p", "]"}], ".", 
  RowBox[{"CSI", "[", 
   RowBox[{"i", ",", "j", ",", "k"}], "]"}], ".", 
  RowBox[{"CSIS", "[", "p", "]"}]}]], "Input",
 CellLabel->"In[3]:=",
 CellID->1133104696],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"(", 
    FormBox[
     RowBox[{
      OverscriptBox[
       FormBox[
        StyleBox["\<\"\[Sigma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox[
         StyleBox["p",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"],
       TraditionalForm]}],
     TraditionalForm], ")"}], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox[
      FormBox[
       StyleBox["\<\"\[Sigma]\"\>",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm], "_"], 
     FormBox[
      FormBox[
       StyleBox["i",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox[
      FormBox[
       StyleBox["\<\"\[Sigma]\"\>",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm], "_"], 
     FormBox[
      FormBox[
       StyleBox["j",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox[
      FormBox[
       StyleBox["\<\"\[Sigma]\"\>",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm], "_"], 
     FormBox[
      FormBox[
       StyleBox["k",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   RowBox[{"(", 
    FormBox[
     RowBox[{
      OverscriptBox[
       FormBox[
        StyleBox["\<\"\[Sigma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox[
         StyleBox["p",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"],
       TraditionalForm]}],
     TraditionalForm], ")"}]}], TraditionalForm]], "Output",
 ImageSize->{187, 20},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[3]=",
 CellID->1271926102]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"PauliSimplify", "[", "%", "]"}]], "Input",
 CellLabel->"In[4]:=",
 CellID->1015419780],

Cell[BoxData[
 GraphicsBox[
  TagBox[RasterBox[CompressedData["
1:eJztnQlQFFcagEVwiIoIDIgICiggosiCqSBeMbBRcVG8AJNojEbwBo9E4pYb
j5SiKNEyIngQJRiIZyhMCfHCA8FFFDUoKK6AwqBcwwAzMAc9Cw4qZvruNz3N
zPuqTElkevr//v8d3f2623FRxKyw7t26dVv3Qdt/Zi2M/GTt2oUbZpu1/RAU
vm7ZkvDQxf7h34QuCV07epFh2/8c3vbHue332/+uhEAgEAgEwgaIAtH2LnQN
dEOUbkTRJYCqIV0Hec2ttD+fSRiXbGvT44y0PKFCbftVGRvm+Li4hFwV6kKz
wAqTJDi2dUMU2CjIFCfDjGgO2LIgOkFr/X9jwgLGDnP8x+exD8WMak18P8LJ
alxcqYzhLikqjntbDll6t0n9n0RZIXa2s69oo00AFKUCJ0wy4NvWDVEAoyBT
nAwzojl0u2VB9IbmkuM/3xG1KqUlhycM+dcVIaONIdK6WimAekVkdeWNaFPM
xrxQx4FBGQVpR+Pj4g4l59SxNw8FKkoFZpgkP45jWzdEAY2CTHEyzIjm0OWW
BdEfEIVEdb5WnB8+dnFuI93tSMtPRM4Z7TRi3QMJo/1R1GRuCvYa0N/3zMtW
tX+UPFjtYh+ckRs/w8M/Mul6YS3T2R4FQIlSgRsmMUS2dUMUsCjIFCfDjGgO
nW9ZEP1D/Fd06KH/tdD+PCIt+W2Clf3Xt/G6l0g1Kisr1fYkf4Uj3yepQn16
1fxooyvfOXBK4ParNXLae8oQpqLebgczTBW4rghs64YoSlEw0fVmhwkyoiX0
pmVB9ASksSD5yPUaRqcqatL9re0+yxIR/J604tz+2IMHdoRP81ueUY3yjZKC
SGf+qPgy9emVtHjnCBOembGJe9QT5t09LQCI6gA7zHdgu8K3rRuiKEdBV1cH
ZDJCDCIpTgr3dbEyMXcctyLxCfOL+3rSsiBdHPUJD/rkB2ku+/PMtVey9mUr
ZcUNanVKbiPCK7MH2AReriNoXrLSY4uOl8nbv/VVRRNKm2h5/IObhXvMU6n6
R0tiPS2cVyWFDu49KDRLBO6SJquiCMPsFDCmK3zbuiGKchR0dXVAJiPESB79
GBF765VUVpsXO71/X4/oYqztkZbJrZZFpcjpbITSdiCcQi58nPnr/gMXLp34
aduWnYnZ1eoHyrLy5PlDBw8d3obbiPEbC+icH1ZUX9w819WEx/fddLeRoFW0
FO/1D9icWYsx75U+2zuSP2xr0d/nWNIXKas/teb1dJgbscC9j6Gx7YzoIjK7
qnh1bsmq3AaiX2NJ1FuwwnwfdFf4tumKIglLomhFQUfXu28klRElQUXJXmZe
quzoz8X3Vg62nYZ3UEIsk8MtiyEkCgnSlWjIW+tj0cPAoDvP3MHNybyHQXez
CQnPaWUVkRSf3rpiQ0xczDJP0/ZnG7ymp9s2qofesqrsEwl7wrxtPb+9Wf/+
BUt5dfbZ9KKH+7wGjI0tAXahUlH+y6cBBKujWBVFPkwcV1qCixX1Ftq6KBYe
mYp6TePthcN8sM/NAZTZDosti3nuAMcO4QJtDWO0qZH1zDMCubIhZ4FdDyPb
eTQWCiHigl0TbVzW5LQfZdddnsznDQhJvnH7dl7+E0prRpGGu9HBs/bea0Ka
C7e62UxMrercKuSClKl2Zg5jAr5LrQC4KoZU58CiKJJh4rvSGhyrqHcbZKCL
auGRHG4Q4fXlfuuy6rEPSQDJVLLbsqjkTi6qqGpBFQAudoimkQtOLZr88d+Y
uvLm30q79eWZieZtKX1955Yoe66NkcmHh8ooTyHk5YnjzXoP36E6Cd2QE9Tf
2G4B/hIfVFoeb/NyDVN9UHRzuuNHx8o1N515p8jH1ZzvMRZDkQqOiVKy6Ypk
LangnigVbOiiVFHK1vrsqDUJRXgLBQDJVLLbsijkTlYWP6qvTVAOynlHqrFT
qlKINkBqzvtbGllOOV+DKJHaiyE2xlYBpyqpTx5FWQFWhvwp1+vbf5CXxXua
9pv+RzXlybZCkOJt63P69ZL/trnNOI+I+2LK+0IdEnNRjolSas0VEdwTpYJd
XcQVhUiKk3cm3G/A7QtByWQ5fCq5UwjzL1wrRRlywcUO4QiIMHOWtWEv991P
JI1Fv3xpb+ow/6SAzqSn6W6YPc/C73Kdsv1ZGps8HAOPlNJYvYPUpE8a6BVb
Kms7HH8Q5Rd07AUrN5KR6Bw4JkqpNVcEcFBUx46xqouooqQv0vYcylVdPmmt
L0hNF6DFBkwmy+GDyB3A2CEcoSFnvi3vA2vHfqam5oO8v9hx8SXdIpQJfl/t
5zX1P4cT929esz21pJneESzSdD8m2C8s5uf46C1H7zWwdC2CeLjhnCiltlwR
wEVRKljVhVtRiurzy4b2NHhz+dyg18hd6CurwclkOXwAuQMZO4QTNN1Zas8z
HZMigIeo+EBRJIGiAKLPMvU5dh1FnL96sHEvxjet6T5QFEmgKIDos0x9jl0X
kT1PDPGyMjboZtjbyW/9HcJbHPUWKIokUBRA9FmmPscOgUAgEAgEAoFAIBAI
BAKBQCAQCAQCgUAgEAgEAtEyiAI+BwkdaEYrQO3cAeaCPDrhqrXpcUZanpDu
HVrymltpfz5DfXKhvCpjwxwfF5eQq0Id8AQSsGZwUvAWhlnWDQBqZ+z8IAac
exMZk8oB1Dl0AVdk6oEQLNU65EpRcdzbcsjSu030Pi6+H+FkNS6uFP2hFaKs
EDvb2VfgaKMGQDP4KVDBMMs6Ayjt+uOcSRT60zmQqQdCcFTrjitEVldO750k
qo9L62qlGBYa80IdBwZlFKQdjY+LO5ScU6ffk+tOADWDl4K3v8MsyzoCOO1M
ncuFhZlp13Ivnkw6nf2K0w8YY1I5YDqHruCKTD0QbwRLtW64UtRkbgr2GtDf
98xLOk8BlJafiJwz2mnEugfor6aVPFjtYh+ckRs/w8M/Mul6YS3HwtcewMwQ
paAdhlnWIcBoZ+685dm+QOsehiZDx/5zlAXP1Psg5gtCtQuTygHVOXDfFZl6
IARXtc64EuevcOT7JFXgzF4i1XhzGhCRlvw2wcr+a4z3aDU/2ujKdw6cErj9
ag18GHlnqJqhnYIOSGRZHwBUkACcN+WF2luO+1WgkBSsdzZ1/u5hM/3d0Sj0
KwdY58B5V+TqgRBs1Wy7QiTFSeG+LlYm5o7jViQ+YXhBqhOSgkhn/ijst6+3
I604tz/24IEd4dP8lmdUd5aB1KT7W9t9liVC/1zxzhEmPDNjE/co2m+r5wLg
5VM2QzcFHZDJMpdpebonJDimmGk3A6ogmTuXPFg7xHJ0YrlcUXnqE6tBX2Xj
booSgFx1wKByQHUO3HdFqh4IwVbNtivJox8jYm+9kspq82Kn9+/rEV2M9ehV
9Wkw2pT4LS2Pf3CzIHiSq6z02KLj7W+BRZpfVTS919UJr8weYBN4uQ61A5aV
xHpaOK9KCh3ce1Boloiok6ay20BiJwt4+RTN0E9BB8RZ5qx8Fa2i/LNn8+sx
zudoTDsGzJ03F37vyvf4qaS5/sY3I+ynHwX58jQwrshEgQ+ozoH7rkjVAyHY
qtl2JXuZeamyYzfE91YOtp2GN5DKhY8zf91/4MKlEz9t27IzMbsa+/BL+mzv
SP6wrUX4Q2ZL8V7/gM2Zte8f5CmqL26e62rC4/tuutuopkD6ImX1p9a8ng5z
Ixa49zE0tp0RXcTgxCZZKMTeCcWrc0tW5WI8yxa0fFpm6KTg3TeSyjJzNCAf
3FfT0o7Sw4BwLn26272PiaOr98cT/SOOF4rZXW0EvH+gbIlKLmi7YqmuSNbD
a/AGdyzVrLjCpvH2wmE+2Ae3DXlrfSx6GBh055k7uDmZ9zDobjYh4bl6Qcmr
s8+mFz3c5zVgbGwJ7hgoq8o+kbAnzNvW89ubWPMAECCS4tNbV2yIiYtZ5mlq
+ObdiT3dtpE+70E2djWIXw/aASD5VKGdAtJZ5q58WfWNhKWTxs/cufvQU4xm
phntCmHu4XXzPl8c/s2/tx3JF5HWTuxcVhrnZTlsC/jhH6ArspVD1xJZ6Lvi
WF1hiyLfFRMAvq4Q4fXlfuuy6rHHrTbLo02NrGeeEciVDTkL7HoY2c7LVbuE
JRekTLUzcxgT8F1qBU6ESMPd6OBZe+81Ic2FW91sJqZWaWi8QcQFuybauKzJ
aT9UrLs8mc8bEJJ84/btvPwnausC5aKKqhZUAeRiR/0cmeEGlHxKMEkB2Sxz
W379tZlO3ntT4x5hzlQ1oL25MGqc6xdn8LShQ+RcVn5ila9VD571tI05QuCt
CZQrkpVD2xI5GLniVF3hiCKpmggN1FVrfXbUmoQivGvVrS/PTDRvM/T6fiBR
9lwbI5MPD5XRHJFbHm/zcg1TrbcQ3Zzu+NGxcs0sMJOXJ4436z18h+qqSENO
UH9juwXo6zxkZfGj+toE5aDUCNXY5YJTiyZ/3I6PqznfY+zrv05deRN9PGFb
vgoWUsBx+U15Ya6e36fuu4N5alwD2sX5yx372PrOCmlj7uKoQjGTjTHmnatO
cMAVtyyp4GRdcVEUAYikOHlnwv0G3BNySM15f0sjyynnaxAlUnsxxMbYKuBU
Jc3lrwpBiretz+nXy8DbBvpxHhH3NeRJlBVgZcifcr2+/Qd5Wbynab/pf1Sj
j9EKYf6Fa6UovT792ImPbtiX37FnLKSA2/IlBZHDhy8/u/9aFdbGNKBdWX99
Uv/Bq+51gW6hM2y74rQlLtUVp0WhIX2RtudQrurEfWt9QWq6AG2xCCLMnGVt
2Mt99xNJY9EvX9qbOsw/KaA9zUNq0icN9IotlSkR8YMov6BjIBeFvEfT3TB7
noXf5Tpl+9MgNnk4Bh4ppboYhkHsRMONNuR3bJOFFHBavvTpLk/XeSfjjudl
XSpoQBsDNaFd2fIkyt3Kc09xl1q/z7orTlviUl1xWpQaiurzy4b2NHhzBdeg
18hd6EsTG3Lm2/I+sHbsZ2pqPsj7ix0XXzLqnZCm+zHBfmExP8dHbzl6DzUp
gJAJfl/t5zX1P4cT929esz21pJn6ogoGseNWprbkq2AjBRyWr2wu2jp+xKyv
Zocn/NWIHrxGtCuRxgcHFk0cExi2/vvNP+w5V9kV7lhi3xWXLXGqrrgsijZN
d5ba80zHpAj08OZxrceu9R3QIlqMXZ+1UwW6Ig90RYQ4f/Vg4170bsrq6mg9
dq3vgBbRYuz6rJ0q0BV5oCtcZM8TQ7ysjA26GfZ28lt/h+HdTV0Lrceu9R3Q
IlqMXZ+1UwW6Ig90BYFAIBAIY/4PBhqtCA==
    "], {{0, 43}, {549, 0}}, {0, 255},
    ColorFunction->RGBColor],
   BoxForm`ImageTag["Byte", ColorSpace -> "RGB", Interleaving -> True],
   Selectable->False],
  DefaultBaseStyle->"ImageGraphics",
  ImageSize->Automatic,
  ImageSizeRaw->{549, 43},
  PlotRange->{{0, 549}, {0, 43}}]], "Output",
 ImageSize->{553, 43},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"RasterizedOutput",
 CellLabel->"Out[4]=",
 CellID->1842050639]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"PauliSimplify", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"CSIS", "[", "p", "]"}], ".", 
    RowBox[{"CSI", "[", 
     RowBox[{"i", ",", "j", ",", "k"}], "]"}], ".", 
    RowBox[{"CSIS", "[", "p", "]"}]}], ",", 
   RowBox[{"PauliReduce", "\[Rule]", "False"}]}], "]"}]], "Input",
 CellLabel->"In[5]:=",
 CellID->932118586],

Cell[BoxData[
 GraphicsBox[
  TagBox[RasterBox[CompressedData["
1:eJztnAtUTHkcx0uUR5uSJEUPqchjy+5RwqLjeLUeeYQVhxVaJLVn285yWI5H
bNZa0Qm7J9mspWXZ461oU1SEDcmS6EXTTM000zzv7KTWTs1Mc+fe38z8b/0/
53BEfvc3/+/9/++d/50+rsvXB6/sZGJiEt1V8VvwspgJUVHLYudYK76YFxEd
vioibMXUiC/DVoVF+S03U/ylt+KXv6mJSeOf5RgMBtP+IaSEsVvQDiOaxDAZ
Cev2ucsvBKDnmaz+6aVz+Rwp3TqSt5di5/p7eITc4KA7D/TRJMqhYHRBVnsn
fmVQwGDXDxclPOLTCpT/YL273ZhDL8VQvSmQlh8f1Xvg6nv19EvVZYU4Oc5J
R3imyvXQJOKhYEjTUHL8p7t1Mrmo5PC4gdPTObSKESJ2jQh4JhBidhkPYvnm
5Ye59p93qfDcz4mHDiWl5rBRvCbooUmkQ8GQh5AKmt4Y8QsiAlbk8qjWEZWd
jJnr5z40+qEArDcpK2PzfN9+fSemVcloFxM8jPRwnn8pN3HWiKkxKZlPaiAv
M1AAN4l8KBgK8P/eHZb0XEj5/xOikl/H2Tl/nkd5squDX7DG1dY/pZz+At7w
eKOX7aCZU2buuMGSAHSmF6CbRD0UjM4QvMLUI5ksOmNPsC5OtXdamFUH1pQC
QWHMINuRiaX0L4CiZ3FDLc2tLSyH7Symvh61gBA8S4mY6GFnaeM6Zk1yMcC+
DXiTxgxFVJ6ecuZJvaE3BmR1BWmpt6qRXY3VEtMmlZWVzd9HNJReTrv5Rty4
r1f6jKsyX8kV4aTP6ecw8zpbWzSkqjUjfLptSK9h8f+IaBcUlyT49Bq0LiXM
rceAsKw6iPNH8Hjv+oTbb0TimvyEGX17jtj9TFObZIPQpUnEQ5FU/RG55LDy
TZouh6DSp1IdwaN9i2Ov1TDroi/hPM345cDBK9dO/rj927jkbDWLjbgsNdTT
zdNbwZChYzcWUnlTI62+umWBl6W57cTN93hwy6joxb7htoO3FtG9wIhen4ic
ZG/ezWXB+qXDPjCzcJy1u4jMy5S+Ob9qXS5X/T+KqzKuVTafrvz7a90cP23r
2qU9CKpNau7eeKHIWBcX+625o2Hk6EHilJYT7PTFo8JvgazIBoGbH+Xfq4up
aSdzG5ch7jZdTDtZjzv6itKdgeJe7/TWNbHxh+LDfawaPzP1jm5DtlO6T9Ne
TVKd/fvFokf7ffsFJJRov/uFbe890rJjk4LI7Inz8pYN9td8RwgYhDLIhiKt
OPGJ18IclZlKv2GyI0mwr073Crpcw5i5qjjV/Kw6289Oq5DIuTlLnbp0dlxM
YYuX4BfuGe/gsSGncZViX59sa94vJPWvvLz8gmIK+/VkqkkqTkxzsnYZHfT1
2XKtExW2PWVITlWCk/lFYHRWrebzAiiIFgdFOBTenQXuvvtftPwmXRqW1JW/
FaodTrIj2fBk03DvKMB9b4pIKk4tn/xJK6atvdXqZJFVpY23Ubysd4/T67IX
OHS2/CipVOfFXFKWPNa6h/euprdi3Jx5fS2cllLeUoStpo+CSsPr72VjOyJA
w/A2I6vN3rnhaFFbm0pAQbToEeVQODcm9P+41QaxDocQlyaO7OkwT/WqrMNI
ip7v9XFfdEe1Psm5Y1gI1oWpvTv3nnKBRciJmqshDhZ2QacqdV9x67KC7Mxs
p2TWNn4hKU30seoz489qqo/UYKvpo+D/aL+qKm7pUuOOPuC2mTNUEMogHQo3
O9ht5MGWH4/S5RBSTsGVmy/VLH7kR1JYtHX44LX3+VRfgkEhOBnB9mbdh31X
LOAVHVvibOUS+lsFlZW8/t5KZ/NegdfZ8sYPqW0e4TrzyMs2d/9aI+XknT5T
UCuFqaaPgpqOo2Wqil6f+z4pt/bd+SarLTx7sULdgcGCUAbpUETP40d6r2s5
TyAOocNIcm8v9AxIrWDGJjA3J9TRvKu9ax8rK5sBoz7bdbWK6sNJccWZyEDf
aZsOJx/YsmHH2ZIGHe8VarNCPT1DM5tvMehW00dBDbQ5VaXVF8I9u5n+tzli
2n34HvXPL+CCUAbpUITF2/0CWm2zARyC/EgKn273CzxCf+fOINTfXe1sbjX6
BEMWlvZLhwxCxsmMmR1H6cGfZkiPJMHN/SZ4G+QTKn3CL4h0s+iu7UE1Ru90
2CCEr87vS8oAuYNoguxICl9dOPDDlUoUP+GtgvhVcoivnYWpiVkP98Cv7url
QTSGBB09CELEAvqRHh1GUtbwhgP9c0QYDAaDwWAwGAwGg8FgMBgMxrhgG2c7
BodLCRCrJKDukhHKUPSBFZB2KB8sqoBYJWF1l4xQhiIObCIdzQeLKCBWSUjd
JSOUocgDKyDtWD5YBAGxSkLrLhmhDEUa2EQ6ng8WTQCsksC6S0YoQ9EGWkDa
wXywtICXXjYDofqE1V1SsXEyW3oJHy6wgNS4PlhmhQsvvWxGu1VSezXSuktS
1XRXhqpKL0kdiEarMaDSS/hwySVCeohIqUdJFWz/4UJLL99DX/UJq7ukYONk
gvTSoEZTcAGpEX2wTAhXM0DSS9JWSUPrLnWEEdJLNI2m6PtgGRGuJqCklySt
kobXXeoKI6SXCBpNGeGDZUS46jG09BJp3WUTzJBeImc0ZYAPVo52uG1hBOkl
0rrLJhghvUTPaMoMHywjwlXBKNJL9HSXKmUZIb1Ez2iKsA+WaeG26t5Y0kvk
dJeqZZkgvUTQaIquD5Zp4VIDSy+hQFB6icOFAoFwsfQSCgSllzhcKIwdLpZe
tmPpJQ63HYeLwWD0wL9W/tSJ
    "], {{0, 43}, {313, 0}}, {0, 255},
    ColorFunction->RGBColor],
   BoxForm`ImageTag["Byte", ColorSpace -> "RGB", Interleaving -> True],
   Selectable->False],
  DefaultBaseStyle->"ImageGraphics",
  ImageSize->Automatic,
  ImageSizeRaw->{313, 43},
  PlotRange->{{0, 313}, {0, 43}}]], "Output",
 ImageSize->{317, 43},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"RasterizedOutput",
 CellLabel->"Out[5]=",
 CellID->1000134762]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"CSID", "[", 
  RowBox[{"i", ",", "j", ",", "i"}], "]"}]], "Input",
 CellLabel->"In[6]:=",
 CellID->393722192],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     FormBox[
      StyleBox["\<\"\[Sigma]\"\>",
       StripOnInput->False,
       FontWeight->Bold],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["i",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     FormBox[
      StyleBox["\<\"\[Sigma]\"\>",
       StripOnInput->False,
       FontWeight->Bold],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["j",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     FormBox[
      StyleBox["\<\"\[Sigma]\"\>",
       StripOnInput->False,
       FontWeight->Bold],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["i",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{78, 17},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[6]=",
 CellID->18548593]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"PauliSimplify", "[", "%", "]"}]], "Input",
 CellLabel->"In[7]:=",
 CellID->1619263835],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"3", " ", 
    SuperscriptBox[
     FormBox[
      StyleBox["\<\"\[Sigma]\"\>",
       StripOnInput->False,
       FontWeight->Bold],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["j",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]]}], "-", 
   RowBox[{"D", " ", 
    SuperscriptBox[
     FormBox[
      StyleBox["\<\"\[Sigma]\"\>",
       StripOnInput->False,
       FontWeight->Bold],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["j",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]]}]}], TraditionalForm]], "Output",
 ImageSize->{93, 17},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[7]=",
 CellID->127924084]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"CSID", "[", 
  RowBox[{"i", ",", "j", ",", "k", ",", "l", ",", "m", ",", "i"}], 
  "]"}]], "Input",
 CellLabel->"In[8]:=",
 CellID->925136306],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     FormBox[
      StyleBox["\<\"\[Sigma]\"\>",
       StripOnInput->False,
       FontWeight->Bold],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["i",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     FormBox[
      StyleBox["\<\"\[Sigma]\"\>",
       StripOnInput->False,
       FontWeight->Bold],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["j",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     FormBox[
      StyleBox["\<\"\[Sigma]\"\>",
       StripOnInput->False,
       FontWeight->Bold],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["k",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     FormBox[
      StyleBox["\<\"\[Sigma]\"\>",
       StripOnInput->False,
       FontWeight->Bold],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["l",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     FormBox[
      StyleBox["\<\"\[Sigma]\"\>",
       StripOnInput->False,
       FontWeight->Bold],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["m",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     FormBox[
      StyleBox["\<\"\[Sigma]\"\>",
       StripOnInput->False,
       FontWeight->Bold],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["i",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{164, 18},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[8]=",
 CellID->652994641]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"PauliSimplify", "[", "%", "]"}]], "Input",
 CellLabel->"In[9]:=",
 CellID->96707573],

Cell[BoxData[
 GraphicsBox[
  TagBox[RasterBox[CompressedData["
1:eJztnQtUjGkYx7MdRQ1dZpRq0E03q1yXXBYRoVXrUpzdTookl4oi7XHbHLXY
rF1sLYtDCWeJU6tC6CSyarWIUkulRKaaqaapue5ORKRpar73Hd/XPL9z6jSd
5v+90//53u/9nnfqb+YbNH/FZ2pqaiF9pJ/m+4RNW7/eJ3yBrvTBosCQAP9A
v+WzA0P9/P3Wj/dVl37TVvqxv5eaWsvX/wEAAABKQiKSYNEVY9JVCcAUoMch
5j5OS8pli4jqCF+lhS90tLLyzGCjrGYJ9/4eH2cHi7F7/+UjlCU5YAoAdIro
efw4hsXKu1ziUnVZnkyTBdeQniJSBKW/jqBbb37UhFaWzIApACAHiaC2ooHw
pV1KQ66f2aBFaflJx2JjYg4lZNeiEG05ieMcGRbB9xuRqAlqCjKSrxTkpCSc
uV7O5RRcOXPyYiFXjEQbIWAKCU0ByIKo+vo2j1HGA53OvSReJbz7wVZDPNLu
xLo7zA6LyyyoESAYofSmqSpxmsGQ5TkNCLSEL86tsNJS17Zw8nC31Nak2zt5
eo7T1x1zrFyIQB0RYAoJTQFIRmPeajO6Y9xz4tfhpkebbehD3VzcIjOqEVac
pDp1tiFzSVYdEjX+k732dLvIIl5V4hSGyZJMTl32t0wD57RqUvWYwRQSmgJ0
E0nTs/SfZzB60+y8wrZt2RTo4+7k4hOZXNqEwlZefthQ+ujYMuLXYX7xrs9p
GrqatOFRRc0IRtaKhJ2xwNjILb0WSRELnx0ew7D67mFjzaW5hkZfX6ttuBtg
ypgQT3yKaHp6Osxr7mQ75qCxy+PLiDWswRREpgCfFvGrC050hktK6xVI9Cp5
+RDaYO9L1YTvJJof77DTHx6NYGdIUHJwpP7QtXF+5tqD/bLqkF0r6255DTKc
+ScLSb9DVHlq0gDzoHtcdsZCY0PpL5T7INSSPvq3MqKLkeay0/vTKqS/RVFV
0uLB5sv+JtJUB1PQmAJ8YiQ1l10N6FPPtnU8mouihmnRZ6bXElTmP91nT7eN
KCR6MeaXnwp2NtToa7o4yHt4P3VNE/fdhTyCmlLE7Js7FtvSNPQmh2exCZ8k
ItblzW7MPprMBRuCPGxovXW/8A1d6qivQbMPyaglqC4WNArfTAvNhRHjpseU
ElgsgSldNkVUley/9k490UEAeOBkehjpOZ6oaFs5C0r2O2jrTbtcI+MZEl7x
2YjV4dEx0QEj+7e8Df81fe12vrtfELJuJaYWPvxllPHEgyXyzzL5ggqBVhbT
ILuBuC73wDfz9xV2+BYBMAW5KaKKE86u19jEhQAM1N/2Zup+0PGQVKfOYdDs
o590eDMhaczfM9XIal12y61B7dVZdA1jz4QbOTm5eUXv9teFlafmMHVNJ7hu
uvBc7hnSFUEFQCuLaZDdQMS5e2anv4t1Py0znxRWu2OCKThMgYmLxHDzVpnq
DP/xvY6HqPL0DIb+lKMd7xYLK45P1tUe9kPx6yfUZy8aqMn0JrJtjVwQhyym
QUonkz98Z01px5w1Nzmy+kWS+r82DDWcksz64AfAFDymONro0R0myjUFUD68
/I2WOjbb2zoeIlaKr6nBl9EFMvoVdVmuA9TpLpmclgfCstiR/Q3mEWqjIhfE
IYtpkIrAzV1m73zxw618MAWLKbDiIi1NBVttdCxDH7yZpcQN+XGrx9u6RmbJ
/iM27t0VQzT0p19tadw33tvmYOb2e2l396dE7Jyz5/M4ImSCOGQxDVIhJE0v
Sln813MV/2ms28r2t4pgChZTYOIiJfyXtxOjZhv01mQu3PB9RMTWjWuWLV27
O/FBXeftAUHl+eDpo+ZsOXz8wPZ1kRdKFHi/FyfLy9raK7N16Y1AEIcspkEq
goR9w3+EsbXL2j1HT8afuNTBwcEUHKbAxAUAAAAAAAAAAAAAAAAAAAAAAAAA
AAAAAAAAXQBXuAxWVCG5hjqvkcwlBNlJpIHk4TJYIXNyDSpfyPwa20HmEoLs
pHegqkxikD9cBiukTa5B6AtpX+PHkLmEIDvpDQgrkxBkD5fBGgeDNrkGKch8
oVA6D6YSQgJkJ70FWWUqDPnDZTDHwaBMrkEIUl8olM6DKZ8ICZCd1ALSyiQC
6cNlsMbBoE2uQQk6XyiUzoOphJAA2UmtKFaZEl5xXKCT1QCantmk1ceLeEQH
RPpwGaxxMOiSa8jrC4XSeTCUEDJfIDupFcUqk/dob9DB21V8QU3uwXkDdRx2
FxPbiSB9uAzeOBhkyTXk9YVC6TwYSgiZL5Cd1IpilSl4eT39RetTGv9ZY27y
FbElJsnDZXBm9CBNriGrL2RK55GDoiXUaegPIl9UIDupqyCozIYcH1tHGSs2
1QyXUaa4bCjsCxXt6PL/FSTmi0L0KHe6WZkyD8TOXDU9JKujqADVDJdRpnhn
x6WsLxS1o4sTF0FfFKCHudOtypSJmHMrat2Rwg5bjaoZLoNLvHuJPxT2hRp2
tCl2K/RHqb7gkKWYOx0jXdUl7Dpyr15Gg1A1w2WUKS4DavtCVTvkr7iU7QsO
Waq68x788qSfDt3hvJYVc/IvpFa26++rTLiMMsXlQ0FfeoQd8iYupfjSOhRw
R+bxWCkB1n17ve2d9dKy3/PxvqSqhMsoU1wO1PSlR9jR6cSlLF/eAO4AAAAA
AAAAAAAAwFv+B74rjvs=
    "], {{0, 41}, {403, 0}}, {0, 255},
    ColorFunction->RGBColor],
   BoxForm`ImageTag["Byte", ColorSpace -> "RGB", Interleaving -> True],
   Selectable->False],
  DefaultBaseStyle->"ImageGraphics",
  ImageSize->Automatic,
  ImageSizeRaw->{403, 41},
  PlotRange->{{0, 403}, {0, 41}}]], "Output",
 ImageSize->{407, 41},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"RasterizedOutput",
 CellLabel->"Out[9]=",
 CellID->537741912]
}, Open  ]]
}, Open  ]],

Cell["", "SectionFooterSpacer"]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "See Also"
}], "SeeAlsoSection",
 WholeCellGroupOpener->True,
 CellID->1255426704],

Cell[TextData[{
 StyleBox[ButtonBox["PauliSigma",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/PauliSigma",
  ButtonNote->"PauliSigma"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["PauliTrick",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/PauliTrick",
  ButtonNote->"PauliTrick"],
  FontFamily->"Verdana"],
 "."
}], "SeeAlso",
 CellID->830480392]
}, Open  ]],

Cell[" ", "FooterCell"]
},
Saveable->False,
ScreenStyleEnvironment->"Working",
WindowSize->{725, 750},
WindowMargins->{{-10, Automatic}, {Automatic, -8}},
WindowTitle->"PauliSimplify",
TaggingRules->{
 "ModificationHighlight" -> False, "ColorType" -> "SymbolColor", "LinkTrails" -> 
  GridBox[{{
      RowBox[{
        ButtonBox[
        "FeynCalc", ButtonData -> "paclet:FeynCalc/guide/FeynCalc", 
         BaseStyle -> {"Link", "DockedLinkTrail"}]}]}}, ColumnAlignments -> 
    Left], "HasOptions" -> False, "ExampleCounter" -> 1, "NeedPlatMsgIn" -> 
  None, "RootCaptions" -> "", 
  "Metadata" -> {
   "built" -> "{2020, 6, 20, 19, 9, 24.404687}", 
    "history" -> {"9.3", "", "", ""}, "context" -> "FeynCalc`", 
    "keywords" -> {}, "specialkeywords" -> {}, 
    "tutorialcollectionlinks" -> {}, "index" -> True, "label" -> 
    "Feyn Calc Symbol", "language" -> "en", "paclet" -> "FeynCalc", "status" -> 
    "None", "summary" -> 
    "PauliSimplify[exp] simplifies products of Pauli matrices and expands \
non-commutative products. Double indices and vectors are contracted. The \
order of the Pauli matrices is not changed.", "synonyms" -> {}, 
    "tabletags" -> {}, "title" -> "PauliSimplify", "titlemodifier" -> "", 
    "windowtitle" -> "PauliSimplify", "type" -> "Symbol", "uri" -> 
    "FeynCalc/ref/PauliSimplify"}, "SearchTextTranslated" -> ""},
CellContext->"Global`",
FrontEndVersion->"10.4 for Linux x86 (64-bit) (April 11, 2016)",
StyleDefinitions->Notebook[{
   Cell[
    StyleData[
    StyleDefinitions -> FrontEnd`FileName[{"Wolfram"}, "Reference.nb"]]], 
   Cell[
    StyleData["Input"], CellContext -> "Global`"], 
   Cell[
    StyleData["Output"], CellContext -> "Global`"]}, Visible -> False, 
  FrontEndVersion -> "10.4 for Linux x86 (64-bit) (April 11, 2016)", 
  StyleDefinitions -> "Default.nb"]
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{
 "PrimaryExamplesSection"->{
  Cell[6531, 195, 388, 15, 31, "PrimaryExamplesSection",
   CellTags->"PrimaryExamplesSection",
   CellID->1899085379]},
 "RasterizedOutput"->{
  Cell[14966, 550, 5870, 104, 61, "Output",
   CellTags->"RasterizedOutput",
   CellID->1842050639],
  Cell[21220, 671, 3357, 63, 64, "Output",
   CellTags->"RasterizedOutput",
   CellID->1000134762],
  Cell[29585, 961, 3230, 61, 62, "Output",
   CellTags->"RasterizedOutput",
   CellID->537741912]}
 }
*)
(*CellTagsIndex
CellTagsIndex->{
 {"PrimaryExamplesSection", 35532, 1109},
 {"RasterizedOutput", 35676, 1113}
 }
*)
(*NotebookFileOutline
Notebook[{
Cell[585, 21, 3117, 75, 53, "AnchorBarGrid",
 CellID->1],
Cell[3705, 98, 290, 11, 45, "ObjectNameGrid"],
Cell[CellGroupData[{
Cell[4020, 113, 511, 13, 102, "Usage",
 CellID->982511436],
Cell[CellGroupData[{
Cell[4556, 130, 738, 24, 31, "NotesSection",
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->512182867],
Cell[5297, 156, 31, 0, 70, "SectionHeaderSpacer"],
Cell[CellGroupData[{
Cell[5353, 160, 117, 3, 70, "Input",
 CellID->1378423485],
Cell[5473, 165, 997, 23, 94, "Output",
 CellID->1275872628]
}, Open  ]]
}, Closed]]
}, Open  ]],
Cell[CellGroupData[{
Cell[6531, 195, 388, 15, 31, "PrimaryExamplesSection",
 CellTags->"PrimaryExamplesSection",
 CellID->1899085379],
Cell[CellGroupData[{
Cell[6944, 214, 196, 6, 26, "ExampleSection",
 CellID->1973350643],
Cell[CellGroupData[{
Cell[7165, 224, 197, 6, 27, "Input",
 CellID->1786567575],
Cell[7365, 232, 1484, 59, 43, "Output",
 CellID->1582738395]
}, Open  ]],
Cell[CellGroupData[{
Cell[8886, 296, 109, 3, 27, "Input",
 CellID->147134958],
Cell[8998, 301, 3317, 134, 47, "Output",
 CellID->2085934795]
}, Open  ]],
Cell[CellGroupData[{
Cell[12352, 440, 229, 7, 27, "Input",
 CellID->1133104696],
Cell[12584, 449, 2232, 91, 41, "Output",
 CellID->1271926102]
}, Open  ]],
Cell[CellGroupData[{
Cell[14853, 545, 110, 3, 27, "Input",
 CellID->1015419780],
Cell[14966, 550, 5870, 104, 61, "Output",
 CellTags->"RasterizedOutput",
 CellID->1842050639]
}, Open  ]],
Cell[CellGroupData[{
Cell[20873, 659, 344, 10, 27, "Input",
 CellID->932118586],
Cell[21220, 671, 3357, 63, 64, "Output",
 CellTags->"RasterizedOutput",
 CellID->1000134762]
}, Open  ]],
Cell[CellGroupData[{
Cell[24614, 739, 133, 4, 27, "Input",
 CellID->393722192],
Cell[24750, 745, 1220, 52, 38, "Output",
 CellID->18548593]
}, Open  ]],
Cell[CellGroupData[{
Cell[26007, 802, 110, 3, 27, "Input",
 CellID->1619263835],
Cell[26120, 807, 857, 35, 38, "Output",
 CellID->127924084]
}, Open  ]],
Cell[CellGroupData[{
Cell[27014, 847, 166, 5, 27, "Input",
 CellID->925136306],
Cell[27183, 854, 2254, 97, 39, "Output",
 CellID->652994641]
}, Open  ]],
Cell[CellGroupData[{
Cell[29474, 956, 108, 3, 27, "Input",
 CellID->96707573],
Cell[29585, 961, 3230, 61, 62, "Output",
 CellTags->"RasterizedOutput",
 CellID->537741912]
}, Open  ]]
}, Open  ]],
Cell[32842, 1026, 31, 0, 29, "SectionFooterSpacer"]
}, Open  ]],
Cell[CellGroupData[{
Cell[32910, 1031, 270, 12, 31, "SeeAlsoSection",
 CellID->1255426704],
Cell[33183, 1045, 378, 14, 56, "SeeAlso",
 CellID->830480392]
}, Open  ]],
Cell[33576, 1062, 23, 0, 41, "FooterCell"]
}
]
*)

(* End of internal cache information *)

